a00ef40f01a3b3b6ec8ce8316e2741049c74a89a,bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/themes/WorkbenchThemeManager.java,WorkbenchThemeManager,setCurrentTheme,#String#,332

Before Change


			{
				ColorRegistry jfaceColors = JFaceResources.getColorRegistry();
				ColorRegistry themeColors = currentTheme.getColorRegistry();
				for (Iterator i = themeColors.getKeySet().iterator(); i
						.hasNext();) {
					String key = (String) i.next();
					jfaceColors.put(key, themeColors.getRGB(key));
				}
			}

After Change


			{
				ColorRegistry jfaceColors = JFaceResources.getColorRegistry();
				ColorRegistry themeColors = currentTheme.getColorRegistry();
				for (Object themeColorKey : themeColors.getKeySet()) {
					String key = (String) themeColorKey;
					jfaceColors.put(key, themeColors.getRGB(key));
				}